• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۱۷ پاسخ غیر تکراری از ۱۷ پاسخ تکراری در مدت زمان ۰,۵۵ ثانیه یافت شد.

1. Computer aided verification

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Pierre Wolper (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Computer software- Verification- Congresses,Electronic digital computers- Evaluation- Congresses

Classification :
QA76
.
76
.
C47
,
C38
1995

2. Computer aided verification

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Rajeev Alur, Doron A. Peled (eds.)

Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)

Subject: Computer software -- Evaluation -- Congresses,Electronic digital computers -- Evaluation -- Congresses

Classification :
QA
76
.
76
.
E93C38

3. Computer aided verification : fourth International Workshop, CAV'92, Montreal, Quebec, 1992 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: G.V. Bochmann, D.K. Probst )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
663

4. Computer aided verification: fourth international workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Computer software-- Verification,Congresses ، Electronic digital computers-- Evaluation

Classification :
QA
76
.
76
.
E93
.
C38
1993

5. Computer aided verification : fourth international workshop, CAV 92, Montreal, Canada, June 29-July 1, 1992 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: G. v. Bochmann, D.K. Probst, eds

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Computer software Verification -- Congresses, Integrated circuits Verification -- Congresses, Electronic digital computers Evaluation -- Congresses

Classification :
QA
76
.
76
.
V47
C38
1993

6. Computer aided verification : international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Warren A. Hunt, Jr., Fabio Somenzi )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
2725

7. Computer aided verification : 3rd international workshop, CAV'91, Alborg, Denmark, 1991 :proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: K.G. Larsen, A. Skou, eds

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
575

8. Computer aided verification : 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Rajeev Alur, Doron A. Peled )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
3114

9. Computer aided verification : 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: E. Allen Emerson, A. Prasad Sistla )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
1855

10. Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Ed Brinksma, Kim Guldstrand Larsen )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
2404

11. Computer aided verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Kousha Etessami, Sriram K. Rajamani )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
3576

12. Computer aided verification : 5th International Conference, CAV'93 Elounda, Greece, June 28-July 1, 1993 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Costas Courcoubetis )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
697

13. Computer aided verification : 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Orna Grumberg )ed.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
1254

14. Computer-aided verification : 8th International Conference, CAV'96, New Brunswick, NJ, USA, July 31-August 3, 1996 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Rajeev Alur, Thomas A. Henzinger

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Congresses ، Integrated circuits -- Verification,Evaluation - Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
1102

15. Computer aided verification : 6th International Conference, CAV'94Stanford, California, USA, June 21-23, 1994. Proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: David L. Dill, ed

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
818

16. Computer-aided verification : 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Nicolas Halbwaches, Doron Peled )Eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Evaluation -- Congresses ، Computer software,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
1633

17. Computer aided verification : 10th International Conference, CAV'98, Vancouver, BC, Canada, June 28-July 2, 1998 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Alan J. Hu, Moshe Y. Vardi )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Computer software -- Verification,Evaluation -- Congresses ، Electronic digital computers

Classification :
QA
76
.
L28
Vol
.
1427
  • »
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival